#include <stdio.h>

int main()
{
    int c;
    c = getchar() != EOF;
    printf("(getchar() != EOF) = %d\n", c);
    return 0;
}